Non-normal modal logics and conditional logics: Semantic analysis and proof theory

Automated proof search in non-classical logics - efficient matrix proof methods for modal and intuitionistic logics

We may not be able to make you love reading, but automated proof search in non classical logics efficient matrix proof methods for modal intuitionistic logics will lead you to love reading starting from now. Book is the window to open the new world. The world that you want is in the better stage and level. World will always guide you to even the prestige stage of the life. You know, this is som...

Labelled Tableaux for Non-normal Modal Logics

In this paper we show how to extend KEM, a tableau-like proof system for normal modal logic, in order to deal with classes of non-normal modal logics, such as monotonic and regular, in a uniform and modular way.

Proof Realization of Intuitionistic and Modal Logics

Logic of Proofs (LP) has been introduced in [2] as a collection of all valid formulas in the propositional language with labeled logical connectives [[t]]( ) where t is a proof term with the intended reading of [[t]]F as \t is a proof of F". LP is supplied with a natural axiom system, completeness and decidability theorems. LP may express some constructions of logic which have been formulated o...

Binary Logics, Orthologics, and their Relations to Normal Modal Logics

Modal and Non Modal Qualitative Spatial Logics

In this paper we review previous work on non modal spatial logics and explore a corresponding modal spatial logic. Furthermore we present an initial classication of kinds of spatially indexed propositions.